https://filesoo.com/product/6927/linear-topological-spaces